Merge branch 'wip/exalm/ocd' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 13 May 2020 18:31:39 +0000 (18:31 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 13 May 2020 18:31:39 +0000 (18:31 +0000)
demo: Remove double borders from the treeview

See merge request GNOME/gtk!1892


Trivial merge